body { 
  margin: 0; 
  font-family: "arial", sans-serif; 
  background-color: #DDFFAA;
}

p { margin: 0.5em }

a, a:link, a:visited {
	text-decoration: none;
	font-weight: bold;
	color: blue;
}

div#heading {
	background-color: #99CC44; 
	border: solid black; border-width: 0 0 1px 0;
	margin: 0; padding: 0;
}

h1 {
  text-align: center; letter-spacing: 0.6em; 
  font-size: large; font-weight: bold;
	margin: 0; padding: 0;
}

div#heading div#menu {
  position: absolute; top: 0; right: 0; width: auto; height: auto;
  text-align: right; color: gray;
  padding: 0 4px 0 0;
}
div#heading div#menu a { 
  font-weight: normal; font-size: small;
}

div#subtitle {
  margin: 0; padding: 0;
  text-align: center;
  color: white;
  font-weight: bold;
  text-decoration: overline;
  letter-spacing: 0.1em;
}

div.code {
	border: 1px solid black;
	background: silver;
	white-space: pre;
	margin: 0.5em 1em; padding: 0.8em;
}

.code {
	font-family: monospace;
	white-space: pre;
}
